2. Linear logic in computer science
المؤلف: edited by Thomas Ehrhard ... ]et al.[
المکتبة: (طهران)
موضوع: ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563

